Repository navigation
fix(ict,#16777): resync de la tresse sur l'arc strate-1..7 + 2 corrections d'axe + statut Schreiber - #17012
Conversation
…tions d'axe + statut Schreiber La cartographie renvoyait sa propre resync a une tranche de #7424, CLOSED/COMPLETED depuis le 2026-08-21T10:41:31Z : la tranche différée avait survécu a son porteur. Resync faite dans §1.6 (arc des strates 1 -> 7, axe transverse, objets transverses remis sur leur axe), source de vérité ICT-0-Framing § « Deux axes de lecture ». Corrections d'axe (tranchées en #13908) : - strate 7 != « Epic #7746 livré — ICT-26..30 » : ICT-26..30 sont la dimension D2 (des pattes, pas des barreaux) ; S7 = freebits d'ordre 2 & réversibilité agentique (#7745), non livrée. - Thom n'est pas la strate 6 mais un socle transverse ; S6 = argumentation (graine #7289), non livrée. Statut Schreiber tranché (critère : une fibre s'acquiert par un organe, pas par une citation) : 7 fichiers le mentionnent, tous sous docs/, 0 notebook/module/lake -> témoin (crédit de lecture grade C), pas une fibre. Renvoi fabriqué retiré : strate7-cadres-libres.md:28 attribuait le cadrage freebit d'Aaronson aux « notebooks Mechanism Design de la série ICT » — aucun fichier de IIT/ICT-Series/ ne contient Mechan, et aucun .ipynb du dépôt ne contient freebit. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
github-actions
Bot
added
the
variation-light-cap-reached
|
G-VAR-2 light cap reached (advisory, non bloquant). |
github-actions
Bot
added
variation-genre-run
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels |
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] |
3 participants
Grain: MED/docs -- lane myia-po-2023:CoursIA -- prev: MED/ml-rl #16856
Closes #16777
Summary
Resync de la cartographie de la tresse sur l'arc strate-1..7, plus les deux corrections
d'axe et le statut Schreiber que cette resync rendait dicibles. Périmètre : 2 fichiers, tous
deux de documentation —
docs/ict/tresse-cartographie.mddocs/ict/strate7-cadres-libres.mdAucun catalogue, aucun notebook, aucun organe de CI touché.
Le défaut, mesuré sur
maintresse-cartographie.md:12renvoyait sa propre resync à « une tranche ultérieure de [#7424] ».gh api repos/jsboige/CoursIA/issues/7424→state=closed,closed_at=2026-08-21T10:41:31Z,reason=completed: la tranche différée avait survécu à son porteur, et personne ne relisaitle texte contre l'arbre.
Mesure seconde, qui a déplacé le travail : il n'existe pas de « table de composition §1 » dans
ce document. La seule table de §1 est §1.5, et elle compose les quatre fils rouges entre eux —
elle ne porte aucune ligne de strate. La promesse de l'en-tête pointait donc un objet inexistant.
La resync a donc été faite en construisant ce que l'en-tête promettait (§1.6), pas en réparant
une table existante.
Ce qui est livré
1. §1.6 — « Arc des strates 1 → 7 et axe transverse » (nouvelle section)
Source de vérité : [
ICT-0-Framing.md§ « Deux axes de lecture »], qui fait foi depuis l'arbitrage[#13908] et sur laquelle ce document s'aligne désormais. La section porte :
ICT-17b), avec pour chacune lesubstrat, les notebooks et le(s) fil(s) rouge(s) dont la tresse s'y mesure — c'est le geste
de « composition » que l'en-tête annonçait ;
les objets que l'ancienne version projetait sur l'échelle verticale ;
GOL appellent un barreau (question laissée ouverte, ce n'est pas un oubli), les 2 autres
sont des pattes cross-substrat.
2. Les deux corrections d'axe (tranchées en [#13908])
tresse-cartographie.md:66et:72)La contradiction relevée par l'issue (« cartographie dit livrée » vs « README dit rien livré ») est
tranchée dans un sens : c'est la cartographie qui était fausse, le README étant la source la plus
récente et s'alignant déjà sur
ICT-0-Framing.3. Statut de Schreiber — écrit, avec son critère
Posé en encadré dans §1.1 (le fil grothendieckien est son lieu) : le commentaire de [#7738]
(2026-07-23) en faisait un « cinquième témoin », et
strates-as-adjunctions-prototype.mdmappe sestrois triplets d'adjoints (
∮⊣♭⊣♯/Re⊣ℑ⊣&/⇉⊣⇝⊣Rh) sur les jambes d'ICT.Critère (posé par le user sur [#16759], 2026-09-18) : une fibre s'acquiert par un organe ou
une méthode, pas par une citation. Mesure :
Schreiberdocs/git grep -il schreiber -- '*.ipynb' '*.lean' '*.py'→ vide)strates-as-adjunctions-prototype.mdVerdict : témoin, pas fibre (crédit de lecture grade C). La question est reformulée pour être
actionnable : le prototype d'adjonctions doit-il devenir un organe — code ou Lean — et si oui,
lequel ? Tant que non, le statut reste témoin.
4. Renvoi fabriqué retiré (
strate7-cadres-libres.md:28)La phrase attribuait le cadrage freebit d'Aaronson aux « notebooks Mechanism Design de la série
ICT ». Faux sur ses deux jambes, re-mesuré :
IIT/ICT-Series/ne contientMechan— les trois notebooks Mechanism Designappartiennent à GameTheory ;
.ipynbdu dépôt ne contient le motfreebit(git grep -il freebit -- '*.ipynb'→ vide) ;le terme ne vit que dans la prose
.md(9 fichiers).Le renvoi est retiré (pas remplacé par un nom inventé) et la mesure est écrite à sa place, avec
la surface de prose réelle pour la transposition hors dépôt. Le vocabulaire « jambe D1/D2/D3 » de ce
fichier est par ailleurs aligné sur celui de la carte de référence (jambe = expérience sur une
strate, dimension = horizon des strates hautes), et la conséquence de la divergence 3 y est écrite :
D2 ne livre pas S7.
Acceptance — 5/5, vérifiés sur le head livré
grep -n "tranche ultérieure de" docs/ict/tresse-cartographie.mdne renvoie plus vers une issue CLOSEDclosed_atmesuré)grep -cE '^| \*\*S[1-7]\*\*'→ 7 (+1 ligne charnière) — et les 5 documents hors carte sont nommés comme question ouvertestrate7-cadres-libres.md:28ne renvoie plus vers un artefact inexistantMechanism Design de la série ICTne subsiste dans le fichierVérifications complémentaires : les 3 liens relatifs ajoutés résolvent sur l'arbre
(
ICT-0-Framing.md,magnifica-humanitas-dialogue.md,grothendieckian-lens.md), le tableauencadré de Schreiber a toutes ses lignes préfixées
>(0 ligne malformée), et le catalogue estbyte-identique à
main(2 fichiers modifiés au total).Hors périmètre — assumé et dit
MyIA.AI.Notebooks/IIT/ICT-Series/README.mdn'est pas modifié. Trois PRs ouvertes demyia-po-2026:CoursIAle touchent (#16897, #16887, #16859) : l'éditer aurait été un conflitfabriqué. Le préflight
check_lane_claim.pya renduBLOCKEDsur ce chemin etCLEARune foisretiré — le claim de lane porte donc les 2 fichiers réellement touchés. L'arbitrage n'en souffre
pas : le README est la source la plus récente et avait raison ; c'est la cartographie qui a été
corrigée pour s'y aligner, sans avoir à toucher le README.
Note d'honnêteté sur une précision reçue
La précision d'ai-01 du 2026-09-18 suggérait de remplacer le renvoi par
ICT-0-Annexe-IntegratedComplexityTheory.md. Vérification faite avant de suivre : ce fichierécarte les freebits (« Decided to set aside the concept of freebits... not essential to the core
mathematical foundation of ICT », l.49-57) — il porte un autre usage du mot, pas le cadrage
d'Aaronson. Suivre la suggestion aurait fabriqué un second renvoi faux. Le renvoi est donc
retiré, et la seule surface réellement porteuse est nommée comme telle.
🤖 Generated with Claude Code